An Interface for Abstracting Execution | P0058R1
نویسندگان
چکیده
The algorithms and execution policies specified by the Parallelism TS are designed to permit implementation on the broadest range of platforms. In addition to preemptive thread pools common on some platforms, implementations of these algorithms may want to take advantage of a number of mechanisms for parallel execution, including cooperative fibers, GPU threads, and SIMD vector units, among others. A suitable abstraction encapsulating the details of how work is created across such diverse platforms would be of significant value to parallel algorithm implementations. Furthermore, other constructs that expose parallelism to the programmer—including async and task_block—would benefit from a common abstraction for launching work. We believe that a suitably defined executor interface provides just such a facility.
منابع مشابه
Abstracting Path Conditions for Effective Symbolic Execution
ing Path Conditions for Effective Symbolic Execution Marek Trt́ık [email protected]
متن کاملEnterprise: current status and future directions
Software development costs for parallel programs can be considerably higher than for sequential software. There are a variety of reasons for this, but two of the major ones are the programming model and the execution environment. Most parallel programming models are very different from sequential ones, so there is strong resistance to change. In most parallel programming systems, the user must ...
متن کاملFormal Verification of VLIW Microprocessors with Speculative Execution
This is a study of the formal verification of a VLIW microprocessor that imitates the Intel Itanium [9][12][17] in features such as predicated execution, register remapping, advanced and speculative loads, and branch prediction. The formal verification is done with the Burch and Dill flushing technique [5] by exploiting the properties of Positive Equality [3][4]. The contributions include an ex...
متن کاملStack Architectures and Protocols for Emerging Wireless Networks
Recent devices developed for emerging wireless networks, such as 4G cellular networks, wireless mesh networks, and mobile ad hoc networks, support multiple communication substrates and require execution of multiple protocols within a layer, which cannot be supported efficiently by traditional layered protocol stack approaches. Our goal in this thesis is to discover the minimal set of requiremen...
متن کاملdeveloperWorks : XML : Abstracting the interface, Part II
ing the interface, Part II Search Advanced Help
متن کامل